/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package bgu.dcr.tp.cfg;

import bgu.dcr.tp.impl.*;
import java.lang.annotation.ElementType;
import java.lang.annotation.Inherited;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

/**
 *
 * @author Shl
 */
@Target(ElementType.METHOD)
@Retention(RetentionPolicy.RUNTIME)
@Inherited
public @interface MarkSocket {

    String name() default "";

    boolean mandatory() default true;

    SocketType type() default SocketType.SINGLETON;

    Class keyType() default Void.class;

    Class valueType() default Void.class;

    String description() default "";
}
